Towards a Formal Model of Context Awareness
نویسندگان
چکیده
There is a definite lack of formal support for modeling realistic context-awareness in pervasive computing applications. The CONAWA calculus presented in this paper provides mechanisms for modeling complex and interwoven sets of context-information by extending ambient calculus with new constructs and capabilities. The calculus is a step in the direction of making formal methods applicable in the area of pervasive computing.
منابع مشابه
CAMAC: a context-aware mandatory access control model
Mandatory access control models have traditionally been employed as a robust security mechanism in multilevel security environments such as military domains. In traditional mandatory models, the security classes associated with entities are context-insensitive. However, context-sensitivity of security classes and flexibility of access control mechanisms may be required especially in pervasive c...
متن کاملTeachers' Attitudes towards Teaching in Formal vs. Informal ELT Contexts
Up to now, many studies have been done to show the origin of attitudes and their relationships with behaviors or actions. Some of those works have focused on students' attitudes and some have introduced the various contexts of language teaching and learning. These studies were enough to give a new impetus for conducting the present investigation. This paper investigated the teachers' attitudes ...
متن کاملHealthcare and Compassion: Towards an Awareness of Intersubjective Vulnerability; Comment on “Why and How Is Compassion Necessary to Provide Good Quality Healthcare?”
How to instill compassion in a healthcare organization? In this article, I respond to Marianna Fotaki’s proposals in her piece, ‘Why and how is compassion necessary to provide good quality healthcare?’ by drawing on insights from organization studies. Following Fotaki, I argue that to instill targets and formal measures for assessing compassion would be problematic. I conclude by drawing on psy...
متن کاملA Formal Model for Context-Awareness
There is a definite lack of formal support for modeling realistic context-awareness in pervasive computing applications. The Conawa calculus presented in this paper provides mechanisms for modeling complex and interwoven sets of context-information by extending ambient calculus with new constructs and capabilities. In connection with the calculus we present four scenarios which are used to eval...
متن کاملAudience awareness of Persian learners of English writing: Towards a model of task-oriented strategies
Persian learners of English often avoid attending to audience considerations, which brings them lower scores. The present study was conducted in a major university in Iran to help Persian learners develop a sense of audience awareness in writing. Thirty five Persian students of English were trained with a focus on process-oriented instruction. The intended task was a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006